The Mini-OS build once again broke, this time since vcpu_data became vcpu_info
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 6 Dec 2005 15:05:31 +0000 (16:05 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 6 Dec 2005 15:05:31 +0000 (16:05 +0100)
commitf855f752599ecdddb47cf9f80e1f16bb28822455
tree06d4191cb5d6ab1815f5949a0556a4ad2ecc0aaa
parentee694618a7384afe8d5dfbab28a6b400ce28711d
The Mini-OS build once again broke, this time since vcpu_data became vcpu_info
and that XEN_VER in the __xen_guest section changed slightly. I've modified
the mini-os so that it at least compiles and boots again.

Signed-off-by: Simon Kagstrom <simon.kagstrom@bth.se>
extras/mini-os/events.c
extras/mini-os/hypervisor.c
extras/mini-os/include/os.h
extras/mini-os/time.c
extras/mini-os/x86_32.S